analysis and synthesis model of compilation